TooManyArgumentsInLHS.agda:5,5-6
Cannot eliminate type Set with variable pattern Y (did you supply
too many arguments?)
when checking the clause left hand side
F X Y
